package tarantula.experiment.jdkutils;

import junit.framework.TestCase;

public class JDKFailedTestsDDSlice extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Long var3 = new java.lang.Long(10L);
	    java.lang.Boolean var4 = new java.lang.Boolean(true);
	    java.lang.Integer var5 = new java.lang.Integer(10);
	    java.lang.Integer var6 = new java.lang.Integer(0);
	    java.util.List var7 = java.util.Collections.nCopies((int)var5, (java.lang.Object)var6);
	    java.lang.Object var8 = java.util.Collections.max((java.util.Collection)var7);
	    java.lang.Byte var9 = new java.lang.Byte((byte)1);
	    java.util.List var10 = java.util.Collections.singletonList((java.lang.Object)var9);
	    java.util.TreeSet var11 = new java.util.TreeSet((java.util.Collection)var10);
	    java.lang.Boolean var12 = new java.lang.Boolean(true);
	    java.util.NavigableSet var13 = var2.tailSet(var8, (boolean)var12);
	    java.util.SortedSet var14 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var13);
	    
	    // Checks the contract:  var14.equals(var14)
	    assertTrue("Contract failed: var14.equals(var14)", var14.equals(var14));

	  }

	  public void test2() throws Throwable {

	    java.util.TreeSet var0 = new java.util.TreeSet();
	    java.lang.Byte var1 = new java.lang.Byte((byte)1);
	    java.util.List var2 = java.util.Collections.singletonList((java.lang.Object)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.Collection)var2);
	    boolean var4 = var0.add((java.lang.Object)var3);
	    java.util.SortedSet var5 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var0);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }

	  public void test3() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(10.0d);
	    java.lang.Byte var1 = new java.lang.Byte((byte)1);
	    java.util.List var2 = java.util.Collections.singletonList((java.lang.Object)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.Collection)var2);
	    java.lang.Long var4 = new java.lang.Long(10L);
	    java.lang.Boolean var5 = new java.lang.Boolean(true);
	    var3.clear();
	    java.util.Comparator var7 = java.util.Collections.reverseOrder();
	    java.util.TreeSet var8 = new java.util.TreeSet(var7);
	    java.lang.Integer var9 = new java.lang.Integer(10);
	    java.lang.Integer var10 = new java.lang.Integer(0);
	    java.util.List var11 = java.util.Collections.nCopies((int)var9, (java.lang.Object)var10);
	    java.lang.Integer var12 = new java.lang.Integer(10);
	    java.lang.Integer var13 = new java.lang.Integer(0);
	    java.util.Comparator var14 = java.util.Collections.reverseOrder();
	    int var15 = java.util.Collections.frequency((java.util.Collection)var8, (java.lang.Object)var14);
	    java.util.SortedSet var16 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var3);
	    java.lang.Byte var17 = new java.lang.Byte((byte)1);
	    java.util.List var18 = java.util.Collections.singletonList((java.lang.Object)var17);
	    java.util.TreeSet var19 = new java.util.TreeSet((java.util.Collection)var18);
	    java.util.List var20 = java.util.Collections.singletonList((java.lang.Object)var19);
	    boolean var21 = var3.add((java.lang.Object)var20);
	    
	    // Checks the contract:  var16.equals(var16)
	    assertTrue("Contract failed: var16.equals(var16)", var16.equals(var16));

	  }

	  public void test4() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Long var3 = new java.lang.Long(10L);
	    java.lang.Boolean var4 = new java.lang.Boolean(true);
	    java.util.NavigableSet var5 = var2.headSet((java.lang.Object)var3, (boolean)var4);
	    java.util.SortedSet var6 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var5);
	    
	    // Checks the contract:  var6.equals(var6)
	    assertTrue("Contract failed: var6.equals(var6)", var6.equals(var6));

	  }

	  public void test5() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.util.TreeSet var3 = new java.util.TreeSet((java.util.SortedSet)var2);
	    java.lang.Object var4 = var3.pollLast();
	    java.lang.Byte var5 = new java.lang.Byte((byte)1);
	    java.util.List var6 = java.util.Collections.singletonList((java.lang.Object)var5);
	    java.util.TreeSet var7 = new java.util.TreeSet((java.util.Collection)var6);
	    java.util.Set var8 = java.util.Collections.emptySet();
	    java.util.TreeSet var9 = new java.util.TreeSet((java.util.Collection)var8);
	    java.lang.Integer var10 = new java.lang.Integer(10);
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    java.util.List var12 = java.util.Collections.nCopies((int)var10, (java.lang.Object)var11);
	    java.lang.Integer var13 = new java.lang.Integer(100);
	    java.util.Set var14 = java.util.Collections.emptySet();
	    java.util.TreeSet var15 = new java.util.TreeSet((java.util.Collection)var14);
	    java.util.Enumeration var16 = java.util.Collections.enumeration((java.util.Collection)var15);
	    java.util.List var17 = java.util.Collections.nCopies((int)var13, (java.lang.Object)var16);
	    boolean var18 = var9.add((java.lang.Object)var17);
	    java.util.TreeSet var19 = new java.util.TreeSet((java.util.SortedSet)var9);
	    java.util.Set var20 = java.util.Collections.synchronizedSet((java.util.Set)var19);
	    
	    // Checks the contract:  var20.equals(var20)
	    assertTrue("Contract failed: var20.equals(var20)", var20.equals(var20));

	  }

	  public void test6() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Object var3 = var2.pollLast();
	    java.lang.Integer var4 = new java.lang.Integer(10);
	    java.lang.Integer var5 = new java.lang.Integer(0);
	    java.util.List var6 = java.util.Collections.nCopies((int)var4, (java.lang.Object)var5);
	    java.lang.Integer var7 = new java.lang.Integer(10);
	    java.lang.Integer var8 = new java.lang.Integer(0);
	    java.lang.Double var9 = new java.lang.Double(10.0d);
	    java.lang.Byte var10 = new java.lang.Byte((byte)1);
	    java.util.List var11 = java.util.Collections.singletonList((java.lang.Object)var10);
	    java.util.TreeSet var12 = new java.util.TreeSet((java.util.Collection)var11);
	    java.lang.Long var13 = new java.lang.Long(10L);
	    java.lang.Boolean var14 = new java.lang.Boolean(true);
	    var12.clear();
	    java.lang.Byte var16 = new java.lang.Byte((byte)1);
	    java.util.List var17 = java.util.Collections.singletonList((java.lang.Object)var16);
	    java.util.TreeSet var18 = new java.util.TreeSet((java.util.Collection)var17);
	    java.lang.Long var19 = new java.lang.Long(10L);
	    java.lang.Boolean var20 = new java.lang.Boolean(true);
	    java.lang.String var21 = "";
	    java.util.Comparator var22 = java.util.Collections.reverseOrder();
	    java.util.TreeSet var23 = new java.util.TreeSet(var22);
	    java.lang.Integer var24 = new java.lang.Integer(10);
	    java.lang.Integer var25 = new java.lang.Integer(0);
	    java.util.List var26 = java.util.Collections.nCopies((int)var24, (java.lang.Object)var25);
	    java.lang.Integer var27 = new java.lang.Integer(10);
	    java.util.List var28 = java.util.Collections.emptyList();
	    java.lang.Byte var29 = new java.lang.Byte((byte)1);
	    java.util.List var30 = java.util.Collections.singletonList((java.lang.Object)var29);
	    java.util.TreeSet var31 = new java.util.TreeSet((java.util.Collection)var30);
	    java.lang.Long var32 = new java.lang.Long(10L);
	    java.util.TreeSet var33 = new java.util.TreeSet((java.util.SortedSet)var31);
	    boolean var34 = var23.add((java.lang.Object)var33);
	    java.util.Set var35 = java.util.Collections.synchronizedSet((java.util.Set)var23);
	    
	    // Checks the contract:  var35.equals(var35)
	    assertTrue("Contract failed: var35.equals(var35)", var35.equals(var35));

	  }
}
